Merge pull request #2012 from jempatel/master
authorJo-Philipp Wich <[email protected]>
Mon, 30 Jul 2018 14:07:00 +0000 (16:07 +0200)
committerGitHub <[email protected]>
Mon, 30 Jul 2018 14:07:00 +0000 (16:07 +0200)
fix compilation failure when luasrcdiet is being copied to non existing directory


Trivial merge